Section: Partnerships and Cooperations

National Initiatives

ANR Projects

REVER (ANR project)

Participant : Jean-Bernard Stefani.

The Rever project aims to develop semantically well-founded and composable abstractions for dependable distributed computing on the basis of a reversible programming model, where reversibility means the ability to undo any program execution and to revert it to a state consistent with the past execution. The critical assumption behind Rever is that by combining reversibility with notions of compensation and modularity, one can develop systematic and composable abstractions for dependable programming.

The Rever work program is articulated around three major objectives:

• To investigate the semantics of reversible concurrent processes.

• To study the combination of reversibility with notions of compensation, isolation and modularity in a concurrent and distributed setting.

• To investigate how to support these features in a practical (typically, object-oriented and functional) programming language design.

The project partners are Inria (Focus and Spades teams), Université de Paris VII (PPS laboratory), and CEA (List laboratory). The project ended in November 2015.